COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00012 ENDMK
C⊗;
.DEVICE XGP;
.turn on "%";
.MACRO TABIT1(X)⊂ TURN ON "\" NOFILL TABS X;⊃
.MACRO TABIT2(X,Y)⊂TURN ON "\" NOFILL TABS X,Y;⊃
.FONT 1 "BASL30";		<<normal font>>
.FONT 2 "BASB30";		<<headings>>
.FONT 3 "ASI30.FNT[LSP,JRA]"	<<mexpr font:basi30+>>
.font 4 "grk30"
.font 5 "metl"
.font 6 "mets"
.double space
.group skip  6
.once center
%2RESUME OF JOHN R. ALLEN%1
.GROUP SKIP 4
.begin tabit1(20);
%2BORN:%1\September 2, 1937

%2ADDRESS:%1\18215 Bayview Drive
    %1\Los Gatos, Ca 95030

%2PHONE:%1\(408) 353-2227
.end
.begin tabit1(10); 

%2EDUCATION:%1
\B.A. in Mathematics (with honors),
\Michigan Technological University, Houghton Michigan, 1959

\M.A. in Mathematics, 
\University of California, Santa Barbara, California, 1962

\Graduate work in Computer Science, 
\Stanford University, Stanford, California, 1966-1969
.end

.begin tabit2(7,17)

%2EXPERIENCE:%1
\1959-1960 \Burroughs Corp.
\\Sierra Madre, California
\\Mathematical programmer
\\(machine language programming of various mathematical 
\\ problems)

\1963-1965\General Motors Research Labs
\\Goleta, California
\\mathematical and systems programmer
\\(general mathematical programming; 
\\ development of LISP for IBM7040;
\\ maintenance and modification of 7040 operating system)

\1965-1970\Stanford University
\\Stanford, California
\\ 1965-1966 systems programmer, Stanford AI Lab
\\ (design and develop the first AI Lab time-sharing system;
\\  implement the Culler-Fried system on this machine;
\\  maintain and extend the PDP-6 operating systems)
.next page

\\ 1966-1968 student research assistant, Stanford AI Lab
\\ (develop Stanford LISP, and maintain system;
\\  design and implement the Stanford LISP editor;
\\  design and implement the arbitrary-precision numeric 
\\   package and  the LISP interface to Fortran and 
\\   machine-language subsystems;
\\  Research in resolution theory and interactive theorem-proving)

\\ 1969-1970 systems programmer and researcher, Stanford 
\\  Institute for Mathematical Studies in the Social Sciences
\\ (continuing research on theorem-proving, and applications to
\\  educational areas; general consultant on PDP-10 system.

\1970-1972\University of California
\\Computer Science Department
\\Los Angeles, California
\\Assistant professor of computer science
\\(teach courses in basic machine and systems organization,
\\  data structures, compiler construction, and semantics of
\\  programming languages. 
\\ Organize graduate seminar on extensible
\\  languages, correctness, and language design
\\ Advising of graduate and undergraduate students.
\\ Research in theorem-proving and language design)

\1972-1975\Stanford University
\\Stanford, California
\\Research Associate in Computer Science
\\(research in the theory and applications of theorem-proving,
\\ automatic programming and program verification)

\1975-1978\Hewlett-Packard
\\Research Laboratories
\\Palo Alto, California
\\Member, Technical Staff
\\(Specify a machine architecture which would be attractive
\\  to the AI community; 
\\ educate the management and staff about the needs and 
\\  expectations of the AI community;
\\ outline applications of AI technology to future
\\  products;
\\ specify the architecture for a LISP processor;
\\ specify a bit-mapped terminal system which would support
\\  a multiple-font document production system;
\\ design and implement an operating system  and full screen
\\  text editing system for a prototype HP9845 -- a desktop
\\  16-bit dual processor computer with bit-mapped display;
\\ specify a LISP implementation for this desktop machine)

\1978-present\ Signetics Corporation
\\Microprocessor Division
\\Sunnyvale, California
\\Senior Product Engineer
\\(Specify the human interface for the next generation develop-
\\  ment machine;
\\ specify a prototype development system and implement a soft-
\\  ware breadboard on that machine;
\\ participate in the development of a system implementation
\\  language for the new system;
\\ specify the methodology for the development and testing of
\\  software products)

%2OTHER EXPERIENCE:%1
\1973 and 1974, Guest Lecturer, 
\\Information Sciences Department,
\\University of California,
\\Santa Cruz, California
\\(Teaching short courses on LISP and abstract data structures
\\ in their graduate workshop)

\1975 and 1976, Lecturer,
\\Mathematics Department
\\San Jose State University
\\San Jose, California
\\(Develop and teach one-semester graduate courses using
\\  my book, %3Anatomy of LISP%1;
\\ organize and teach graduate seminar on the mathematical
\\  theory of computation;
\\ specify and advise thesis work of a graduate mathematics 
\\  student)

\1979, Guest Lecturer,
\\Information Sciences Department,
\\University of California,
\\Santa Cruz, California
\\(Teaching three-week segment on LISP in  the Artificial 
\\  Intelligence course;
\\ lecturing on storage management and garbage collection
\\  in the Data Structures course)

.next page

%2CURRENT ACTIVITY:%1
\Organizing an international LISP conference for 1981.

\Writing the introductory LISP article for the August %3BYTE%1
\ implementations for %4m%1-computers.

\Guest Editor of the %3BYTE%1 issue (August 1979) on LISP-related
\ activities in computer science:  applications, implementations,
\ extensions, and theory.

\Organizing a company, %5T%6HE %5L%6ISP %5C%6OMPANY%1, to produce 
\ high quality LISP implementations  and applications.

\Writing an introductory LISP book to complement our micro-LISP 
\ implementation.

%2PUBLICATIONS:%1
\%3Thor: A Display-based Time-sharing System%1, SJCC, 1967, with
\  John McCarthy, Dow Brian, and Gary Feldman.

\%3Alvine: A LISP editor%1, Stanford AI Laboratory Operating 
\  Note, 1968.

\%3An Interactive Theorem Prover%1, Machine Intelligence, Vol. 5,
\  1970, with  David Luckham.

\%3Anatomy of LISP%1, McGraw-Hill, 1978.

\%3Don't Overlook LISP%1, Guest Editorial for the March 1979 
\  %3BYTE%1 magazine. 
.end